منابع مشابه
Pseudo Hoops
Pseudo-hoops are algebraic structures introduced in [1, 2] by B. Bosbach under the name of complementary semigroups. This is a formalization of the paper [4]. Following [4] we prove some properties of pseudo-hoops and we define the basic concepts of filter and normal filter. The lattice of normal filters is isomorphic with the lattice of congruences of a pseudo-hoop. We also study some importan...
متن کاملPseudo-Boolean valued prolog
Logic programming has generally been developed in a Classical two-valued setting; there are no “degrees of truth”. What we propose here is the introduction of more general spaces of truth values, reading truth values as “evidence factors”. Then conventional logic programming may be seen as the special case in which only total evidence is acceptable, and so the space of evidences degenerates to ...
متن کاملOn Pocrims and Hoops
Pocrims and suitable specialisations thereof are structures that provide the natural algebraic semantics for a minimal affine logic and its extensions. Hoops comprise a special class of pocrims that provide algebraic semantics for what we view as an intuitionistic analogue of the classical multi-valued Lukasiewicz logic. We present some contributions to the theory of these algebraic structures....
متن کاملHoops News
T hink philosophically for a moment: As sports medicine clinicians, what is our most important function? Some might say diagnosing illnesses. That's a hard one to argue, especially when it comes to cardiac conditions and the risk of sudden death. Others might focus on rehabilitation and training—no doubt major components of what we do. Many of us focus on injury prevention: keeping athletes on ...
متن کاملPseudo Basic Algebras
1Department of Algebra and Geometry, Faculty of Science, Palacký University Olomouc 17. listopadu 12, 771 46 Olomouc, Czech Republic E-mail: [email protected], phone: +420 585634653, fax: +420 585634663 2Department of Computer Science, Faculty of Science, Palacký University Olomouc 17. listopadu 12, 771 46 Olomouc, Czech Republic E-mail: [email protected], phone: +420 585634710, fax: +...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Soft Computing
سال: 2011
ISSN: 1432-7643,1433-7479
DOI: 10.1007/s00500-011-0763-7